has{-}src($i$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$isrcv($k$) $\wedge_{b}$ source(lnk($k$)) = $i$